type Flip<T extends Record<string | number | symbol, any>> = {
  [P in keyof T as `${T[P]}`]: P;
};

type Fl2 = Flip<{ pi: 3.14; bool: true }>;
